/*
 * context.h
 *
 *  Created on: Jul 29, 2012
 *      Author: baris
 */

#ifndef CONTEXT_H_
#define CONTEXT_H_

#include <Judy.h>

typedef struct context Context;

struct context {
	int scheduled_axiom_count;
	SubClassAxiom** scheduled_axioms;
	Pvoid_t processed_axioms;
};

#endif /* CONTEXT_H_ */
